- дерево доказательства
- Mathematics: proof tree
Универсальный русско-английский словарь. Академик.ру. 2011.
дерево доказательства
Смотреть что такое "дерево доказательства" в других словарях:
Дерево Калкина — Уилфа Дерево Калкина Уилфа (англ. Calkin Wilf tree) ориент … Википедия
Дерево Штерна — Дерево Штерна Броко способ расположения всех неотрицательных несократимых дробей в вершинах упорядоченного бесконечного двоичного дерева. В каждом узле дерева Штерна Броко (иногда также называемого деревом Фарея) стоит медианта… … Википедия
Дерево-людоед — Дерево людоед мифическое хищное растение, которое достаточно велико, чтобы ловить и поглощать людей или крупных животных. Известно из фольклора разных стран мира. Опубликованные в XIX веке отчёты европейских путешественников о якобы… … Википедия
Дерево Штерна — Броко — способ расположения всех неотрицательных несократимых дробей в вершинах упорядоченного бесконечного двоичного дерева. В первом варианте построения дерева Штерна Броко дробь является корнем, а все прочие узлы заполняются по следующему алгоритму:… … Википедия
Дерево Штерна-Броко — Дерево Штерна Броко способ расположения всех неотрицательных несократимых дробей в вершинах упорядоченного бесконечного двоичного дерева. В первом варианте построения дерева Штерна Броко дробь является корнем, а все прочие узлы заполняются по… … Википедия
Доказательства эволюции — Ископаемый археоптерикс, обнаруженный вскоре после публикации « … Википедия
Дерево суффиксов — Суффиксное дерево способ организации данных (строк), позволяющий выяснять, входит ли строка w в строку t, за время O(|w|), где |w| длина строки w. Содержание 1 Основные определения и описание структуры 2 Свойства суффиксных д … Википедия
Бинарное дерево Штерна-Броко — Дерево Штерна Броко способ расположения всех неотрицательных несократимых дробей в вершинах упорядоченного бесконечного двоичного дерева. В первом варианте построения дерева Штерна Броко дробь является корнем, а все прочие узлы заполняются по… … Википедия
Суффиксное дерево — Суффиксное дерево бор, содержащий все суффиксы некоторой строки (и только их). Позволяет выяснять, входит ли строка w в исходную строку t, за время O(|w|), где |w| длина строки w. Содержание 1 Основные определения и описание структуры … Википедия
Письменные доказательства — документы, в которых средством сохранения данного события в памяти других избирается письмо. Вследствие особого положения, которое заняли среди документов в широком смысле (см. Документы) письменные документы при господстве легальной системы… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
АВЛ-дерево — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей. АВЛ дерево сбалансированное по в … Википедия
